home *** CD-ROM | disk | FTP | other *** search
/ SGI Developer Toolbox 6.1 / SGI Developer Toolbox 6.1 - Disc 4.iso / src / tutorials / geometer / Theorems / junk / dev11.25.T < prev    next >
Encoding:
Text File  |  1994-08-02  |  3.5 KB  |  83 lines
  1. .geometry "version 0.1";
  2. v1 = .free(-0.747283, 0.480978, .L0, "C");
  3. v2 = .free(0.785326, 0.48913, .L0, "D");
  4. v3 = .free(-0.464674, -0.266304, .L0, "AB0");
  5. v4 = .free(0.394022, -0.0516304, .L0, "AB1");
  6. v90 = .free(0.464674, -0.644022, .L0, "X");
  7. l6 = .l.vv(v1, v90, .green, .L0, .longline);
  8. v5 = .vonl(l6, -0.463518, 0.217573, .L0, "AB2");
  9. l1 = .l.vv(v5, v2, .yellow, .L0, .longline);
  10. l2 = .l.vv(v4, v2, .yellow, .L0, .longline);
  11. l3 = .l.vv(v2, v3, .yellow, .L0, .longline);
  12. l4 = .l.vv(v3, v1, .green, .L0, .longline);
  13. l5 = .l.vv(v1, v4, .green, .L0, .longline);
  14. v9 = .v.ll(l2, l3, .green, .L0, .plus);
  15. v11 = .v.ll(l5, l1, .green, .L0, "Ab0");
  16. v12 = .v.ll(l3, l6, .green, .L0, "Ab1");
  17. v13 = .v.ll(l4, l2, .green, .L0, "Ab2");
  18. v14 = .v.ll(l6, l2, .yellow, .L0, "Ba0");
  19. v15 = .v.ll(l4, l1, .yellow, .L0, "Ba1");
  20. v16 = .v.ll(l5, l3, .yellow, .L0, "Ba2");
  21. l7 = .l.vv(v14, v11, .invisible, .L0, .longline);
  22. l8 = .l.vv(v12, v15, .invisible, .L0, .longline);
  23. l9 = .l.vv(v13, v16, .invisible, .L0, .longline);
  24. l10 = .l.vv(v14, v3, .invisible, .L0, .longline);
  25. l11 = .l.vv(v15, v4, .invisible, .L0, .longline);
  26. l12 = .l.vv(v16, v5, .invisible, .L0, .longline);
  27. l13 = .l.vv(v11, v3, .invisible, .L0, .longline);
  28. l14 = .l.vv(v12, v4, .cyan, .L0, .longline);
  29. l15 = .l.vv(v13, v5, .invisible, .L0, .longline);
  30. v6 = .v.ll(l15, l13, .yellow, .L0, "A2");
  31. v7 = .v.ll(l10, l12, .yellow, .L0, "A0");
  32. v8 = .v.ll(l7, l9, .yellow, .L0, "A1");
  33. l16 = .l.vv(v8, v6, .L0, .longline);
  34. l17 = .l.vv(v12, v13, .invisible, .L0, .longline);
  35. l18 = .l.vv(v15, v16, .invisible, .L0, .longline);
  36. l19 = .l.vv(v4, v5, .invisible, .L0, .longline);
  37. l20 = .l.vv(v13, v11, .invisible, .L0, .longline);
  38. l21 = .l.vv(v16, v14, .invisible, .L0, .longline);
  39. l22 = .l.vv(v5, v3, .invisible, .L0, .longline);
  40. l23 = .l.vv(v11, v12, .invisible, .L0, .longline);
  41. l24 = .l.vv(v14, v15, .invisible, .L0, .longline);
  42. l25 = .l.vv(v3, v4, .cyan, .L0, .longline);
  43. v10 = .v.ll(l19, l17, .cyan, .L0, "B0");
  44. v17 = .v.ll(l20, l22, .cyan, .L0, "B1");
  45. v18 = .v.ll(l23, l25, .cyan, .L0, "B2");
  46. l26 = .l.vv(v18, v10, .L0, .longline);
  47. l27 = .l.vv(v7, v10, .invisible, .L0, .longline);
  48. l28 = .l.vv(v8, v17, .invisible, .L0, .longline);
  49. l29 = .l.vv(v6, v18, .invisible, .L0, .longline);
  50. l30 = .l.vv(v8, v18, .invisible, .L0, .longline);
  51. l31 = .l.vv(v6, v10, .invisible, .L0, .longline);
  52. l32 = .l.vv(v7, v17, .invisible, .L0, .longline);
  53. l33 = .l.vv(v17, v6, .invisible, .L0, .longline);
  54. l34 = .l.vv(v18, v7, .invisible, .L0, .longline);
  55. l35 = .l.vv(v10, v8, .invisible, .L0, .longline);
  56. v19 = .v.ll(l30, l33, .blue, .L0, .plus);
  57. v20 = .v.ll(l31, l34, .blue, .L0, .plus);
  58. v21 = .v.ll(l32, l35, .blue, .L0, .plus);
  59. l36 = .l.vv(v21, v20, .blue, .L0, .longline);
  60. v22 = .v.ll(l34, l26, .blue, .L0, .plus);
  61. v23 = .v.ll(l33, l27, .blue, .L0, .plus);
  62. v24 = .v.ll(l26, l28, .blue, .L0, .plus);
  63. v25 = .v.ll(l35, l29, .blue, .L0, .plus);
  64. l37 = .l.vv(v23, v25, .blue, .L0, .longline);
  65. v26 = .v.ll(l30, l27, .blue, .L0, .plus);
  66. v27 = .v.ll(l31, l28, .blue, .L0, .plus);
  67. v28 = .v.ll(l32, l29, .blue, .L0, .plus);
  68. l38 = .l.vv(v26, v27, .blue, .L0, .longline);
  69. v29 = .v.ll(l31, l32, .yellow, .L0, .plus);
  70. v30 = .v.ll(l34, l35, .yellow, .L0, .plus);
  71. v31 = .v.ll(l28, l29, .yellow, .L0, .plus);
  72. l39 = .l.vv(v31, v30, .red, .L0, .longline);
  73. v32 = .v.ll(l32, l30, .yellow, .L0, .plus);
  74. v33 = .v.ll(l35, l33, .yellow, .L0, .plus);
  75. v34 = .v.ll(l29, l27, .yellow, .L0, .plus);
  76. l40 = .l.vv(v34, v32, .red, .L0, .longline);
  77. v35 = .v.ll(l30, l31, .yellow, .L0, .plus);
  78. v36 = .v.ll(l33, l34, .yellow, .L0, .plus);
  79. v37 = .v.ll(l27, l28, .yellow, .L0, .plus);
  80. l41 = .l.vv(v36, v35, .red, .L0, .longline);
  81.  
  82.  
  83.